A Language and Methodology based on Scenarios, Grammars and Views, for Administrative Business Processes Modelling

International audienceIn Business Process Management (BPM), process modelling has been solved in various ways. However, there are no commonly accepted modelling tools (languages). Some of them are criticized for their inability to capture both the lifecycle, informational and organizational models of processes. For some others, process modelling is generally done using a single graph; this does not facilitate modularity, maintenance and scalability. In addition, some of these languages are very general; hence, their application to specific domain processes (such as administrative processes) is very complex. In this paper, we present a new language and a new methodology, dedicated to administrative process modelling. This language is based on a variant of attributed grammars and is able to capture the lifecycle, informational and organizational models of such processes. Also, it proposes a simple graphical formalism allowing to model each process's execution scenario as an annotated tree (modularity). In the new language, a particular emphasis is put on modelling (using "views") the perceptions that actors have on processes and their data

Une approche grammaticale pour la fusion des réplicats partiels d’un document structuré : application à l’édition coopérative asynchrone

Un document structuré complexe est représenté intentionnellement sous la forme d’une structure arborescente décorée par des attributs. Si on ne s’intéresse qu’aux aspects purement structurels, les documents licites peuvent être caractérisés par une grammaire algébrique abstraite. Dans cette thèse,après avoir montré comment l’édition coopérative de tels documents peut être étudiée au moyen d’un modèle inspiré des modèles workflow, nous po-sons et donnons une solution au problème de la fusion en un document global(cohérent) de diverses vues partielles d’un document éditées de façon asynchrone. A cette fin, nous représentons l’ensemble (potentiellement infini) de documents compatibles avec une vue partielle donnée par une structure dedonnées co-inductive appelée arène. Cette structure encapsule un ensemble régulier d’arbres et peut être considérée comme l’image d’une vue partielle du document par le morphisme canonique (anamorphisme)associé à une co-algèbre (un automate d’arbres). Ainsi présenté, fusionner les diverses vues partielles revient à construire l’intersection des ensembles réguliers d’arbres correspondants à chacune des vues ; cette intersection peut être obtenue en utilisant une opération de synchronisation définie sur les automates d’arbres.Nous présentons un outil sommaire permettant de faire la démonstration de l’algorithmique issue de ce travail.A complex structured document is intentionnally represented as a tree decorated with attributes. If we focus our attention to purely structural as-pects, the set of legal documents can be fully caracterized by an abstractcontext-free grammar. In this thesis we address the problem of the coopera-tive edition of structured documents in a distributed workflow system. We present and give a solution to the problem of how to merge a set of partialviews of a document (edited asynchronously) into one global coherent docu-ment. For that purpose, we represent the potentially infinite set of documents compatible with a given partial view as a coinductive data structure. Thisset is a regular set of trees that can be obtained as the image of the partial view of the document by the canonical morphism (anamorphism) associated with a coalgebra (some kind of tree automaton). Merging partial views thenamounts to computing the intersection of the corresponding regular sets of trees which can be obtained using a synchronization operation on tree auto-mata. We present a tool for demonstrating the various algorithms resultingfrom our study

Construction d'une plateforme de diffusion d'informations par publication/abonnement pour les réseaux sociaux ad hoc mobiles hybrides sur les appareils androïdes

Soumission à EpisciencesMobile ad-hoc social networks (MASNs) have been the subject of several research studies over the past two decades. They allow stations located in a small geographical area to be connected without the need for a network infrastructure and offer them the possibility to communicate any time anywhere. To communicate, stations regularly broadcast their interests in the form of keywords. Stations with a high degree of similarity among their keywords can communicate with each other. However, the coverage of MASNs is limited to a small geographical area, due to the limited communication range of mobile ad-hoc networks (MANET) stations. In this paper, we present an architecture and implementation of hybrid mobile ad-hoc social networks (MASNs coupled to infrastructure networks) of Android mobile devices for information dissemination. Stations can use the infrastructure network to communicate and rely on the mobile ad-hoc network when the infrastructure is not available.Rather than communicating synchronously as this is the case in the similar works found in the literature, in our approach, the stations communicate using a publish/subscribe communication protocol, which is perfectly suited to this type of network thanks to the decoupling in time and space it provides.Les réseaux sociaux mobiles ad hoc (MASN) ont fait l'objet de plusieurs recherches au cours des deux dernières décennies. Ils permettent à des stations situées dans une petite zone géographique d'être connectées sans avoir besoin d'une infrastructure de réseau et leur offrent la possibilité de communiquer à tout moment et en tout lieu. Pour communiquer, les stations diffusent régulièrement leurs centres d'intérêt sous forme de mots-clés. Les stations dont les mots-clés présentent un degré élevé de similitude peuvent communiquer entre elles. Cependant, la couverture des réseaux MASN est limitée à une petite zone géographique, en raison de la portée de communication limitée des stations des réseaux mobiles ad hoc (MANET). Dans cet article, nous présentons une architecture et une mise en œuvre de réseaux sociaux mobiles ad hoc hybrides (MASN couplés à des réseaux d'infrastructure) d'appareils mobiles Android pour la diffusion d'informations. Les stations peuvent utiliser le réseau d'infrastructure pour communiquer et s'appuyer sur le réseau mobile ad hoc lorsque l'infrastructure n'est pas disponible.Plutôt que de communiquer de manière synchrone comme c'est le cas dans les travaux similaires trouvés dans la littérature, dans notre approche, les stations communiquent en utilisant un protocole de communication de type publication/abonnement, qui est parfaitement adapté à ce type de réseau grâce au découplage dans le temps et l'espace qu'il fournit

Une approche grammaticale pour la fusion des réplicats partiels d'un document structuré (application à l'édition coopérative asynchrone)

Un document structuré complexe est représenté intentionnellement sous la forme d'une structure arborescente décorée par des attributs. Si on ne s'intéresse qu'aux aspects purement structurels, les documents licites peuvent être caractérisés par une grammaire algébrique abstraite. Dans cette thèse, après avoir montré comment l'édition collaborative de tels documents peut être étudiée au moyen d'un modèle inspiré des modèles workflow, nous posons et donnons une solution au problème de la fusion en un document global (cohérent) de diverses vues partielles d'un document éditées de façon asynchrone. A cette fin, nous représentons l'ensemble (potentiellement infini) de documents compatibles avec une vue partielle donnée par une structure de données co-inductive appelée arène. Cette structure encapsule un ensemble régulier d'arbres et peut être considérée comme l'image d'une vue partielle du document par le morphisme canonique (anamorphisme) associé à une co-algèbre (un automate d'arbres). Ainsi présenté, fusionner les diverses vues partielles revient à construire l'intersection des ensembles réguliers d'arbres correspondants à chacune des vues; cette intersection peut être obtenue en utilisant une opération de synchronisation définie sur les automates d'arbres. Nous présentons un outil sommaire permettant de faire la démonstration de l'algorithmique issue de ce travail.A complex structured document is intentionnally represented as a tree decorated with attributes. If we focus our attention to purely structural aspects, the set of legal documents can be fully caracterized by an abstract context-free grammar. In this thesis we address the problem of the collaborative edition of structured documents in a distributed workflow system. We present and give a solution to the problem of how to merge a set of partial views of a document (edited asynchronously) into one global coherent document. For that purpose, we represent the potentially-infinite set of documents compatible with a given partial view as a coinductive data structure. This set is a regular set of trees that can be obtained as the image of the partial view of the document by the canonical morphism (anamorphism) associated with a coalgebra (some kind of tree automaton). Merging partial views then amounts to computing the intersection of the corresponding regular sets of trees which can be obtained using a synchronization operation on tree automata. We present a tool for demonstrating the various algorithms resulting from our study.RENNES1-BU Sciences Philo (352382102) / SudocSudocFranceF